Resilient Consensus for Infinitely Many Processes
نویسندگان
چکیده
We provide results for implementing resilient consensus for a (countably) infinite collection of processes. – For a known number of faults, we prove the following equivalence result: For every t ≥ 1, there is a t-resilient consensus object for infinitely many processes if and only if there is a t-resilient consensus object for t + 1 processes. – For an unknown or infinite number of faults, we consider whether an infinite set of wait-free consensus objects, capable of solving consensus for any finite collection of processes, suffice to solve wait-free consensus for infinitely many processes. We show that this implication holds under an assumption precluding runs in which the number of simultaneously active processes is not bounded, leaving the general question open. All the proofs are constructive and several of the constructions have adaptive time complexity. (Reduced to the finite domain, some improve on the time complexity of known results.) Furthermore, we prove that the constructions are optimal in some space parameters by providing tight simultaneous-access and space lower bounds. Finally, using known techniques, we draw new conclusions on the universality of resilient consensus objects in the infinite domain.
منابع مشابه
Infinitely many solutions for a bi-nonlocal equation with sign-changing weight functions
In this paper, we investigate the existence of infinitely many solutions for a bi-nonlocal equation with sign-changing weight functions. We use some natural constraints and the Ljusternik-Schnirelman critical point theory on C1-manifolds, to prove our main results.
متن کاملExistence results of infinitely many solutions for a class of p(x)-biharmonic problems
The existence of infinitely many weak solutions for a Navier doubly eigenvalue boundary value problem involving the $p(x)$-biharmonic operator is established. In our main result, under an appropriate oscillating behavior of the nonlinearity and suitable assumptions on the variable exponent, a sequence of pairwise distinct solutions is obtained. Furthermore, some applications are pointed out.
متن کاملGeneralized Maiorana-McFarland Constructions for Almost Optimal Resilient Functions
In a recent paper [1], Zhang and Xiao describe a technique on constructing almost optimal resilient functions on even number of variables. In this paper, we will present an extensive study of the constructions of almost optimal resilient functions by using the generalized MaioranaMcFarland (GMM) construction technique. It is shown that for any given m, it is possible to construct infinitely man...
متن کاملInfinitely Many Solutions for a Steklov Problem Involving the p(x)-Laplacian Operator
By using variational methods and critical point theory for smooth functionals defined on a reflexive Banach space, we establish the existence of infinitely many weak solutions for a Steklov problem involving the p(x)-Laplacian depending on two parameters. We also give some corollaries and applicable examples to illustrate the obtained result../files/site1/files/42/4Abstract.pdf
متن کامل